Formalizing Basi Number Theory

A Basi Extended Simple Type Theory

An Indu tive Approa h to Formalizing Notions of Number Theory

Formalizing Mathematical Knowledge as a Biform Theory Graph: A Case Study

A biform theory is a combination of an axiomatic theory and an algorithmic theory that supports the integration of reasoning and computation. These are ideal for formalizing algorithms that manipulate mathematical expressions. A theory graph is a network of theories connected by meaning-preserving theory morphisms that map the formulas of one theory to the formulas of another theory. Theory gra...

Sortase C-mediated anchoring of BasI to the cell wall envelope of Bacillus anthracis.

Vegetative forms of Bacillus anthracis replicate in tissues of an infected host and precipitate lethal anthrax disease. Upon host death, bacilli form dormant spores that contaminate the environment, thereby gaining entry into new hosts where spores germinate and once again replicate as vegetative forms. We show here that sortase C, an enzyme that is required for the formation of infectious spor...

Dissecting molecular interactions involved in recognition of target disulfides by the barley thioredoxin system.

Thioredoxin reduces disulfide bonds, thus regulating activities of target proteins in various biological systems, e.g., inactivation of inhibitors of starch hydrolases and proteases in germinating plant seeds. In the three-dimensional structure of a complex with barley α-amylase/subtilisin inhibitor (BASI), two loops in barley thioredoxin h2 (HvTrxh2), containing an invariant cis-proline ((86)E...